- 程序檢驗(yàn)
- 程序驗(yàn)證
- verification: n. 1.證實(shí)，證明，確定；核驗(yàn)，驗(yàn)證，核對(duì)；檢驗(yàn)，校驗(yàn) ...
- automatic program verification: 自動(dòng)程序驗(yàn)證
- automatic program verification system: 自動(dòng)程序驗(yàn)證系統(tǒng)
- computer program verification: 計(jì)算機(jī)程序驗(yàn)證
- constructive program verification: 結(jié)構(gòu)程序驗(yàn)證
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯